Http server is now Jetty 9

For better performance and less LOC the embedded HTTP service is now Jetty 9.

Current build stable

r11

fixed default values in configuration properties.

r9 - stable version 01 NOV 2013

Many fixes and new features included. Check r9 tag for more info.

Release VI - first publicly shared

FIX: updated revision nr to VI, CSS + JS input border color now #444

ReleaseV

Deployed on Sep 30 00:05