Arduino LLC is offering a recently-updated version 1.6.3 at arduino.cc, but Arduino SRL has bumped up the version number ... If you’re interested in doing some code-sleuthing, have a look ...

[Jan] uses the PHP serial class to communicate between the RPi and Arduino (dead link; Internet Archive). This ends up being a very ... yourself you can grab the code from his Github repo.