Updated INSTALL to reflect version on Ubuntu 12.04 with Arduino server.