[Coco] DW4.3.1 - Raspberry Pi support

[Aaron Wolfe]

I've put an updated version of DW4 on the web site:
https://sites.google.com/site/drivewire4/

This version adds full support for the Raspberry Pi (and possibly
other arm based linux devices).  Both the server and the GUI should be
fully functional and no special configuration needs to be done in the
config.xml.

Instructions for Raspian:

To run the server on a Raspberry Pi, you must have Java installed:

# apt-get install openjdk-7-jre

If you'd like to run the GUI client, you also need some libraries:

# apt-get install libswt-gtk-3-java libswt-gtk-3-jni libswt-cairo-gtk-3-jni

That should do it.  Interested in feedback from those of you with Pis,
this isn't well tested but seems to work nicely.  The UI is a bit
pokey but not unbearable, and I'd think most people would want to be
running the UI on a different machine anyway.  Server seems fine.

Important note:  it seems Raspian has been updating the pulseaudio and
other sound packages recently.. at this time MIDI is not working.  You
must leave MIDI disabled or the server will not start.  Not sure if
this is a DW problem or a Raspian problem yet.

-Aaron