java/server: Main -> ServerMain
java/gui: GuiServerMain
java/gui: generating GWT Java forc services
java/client: deleting misgenerated code
java/gui: switch to GWT-Bootstrap3
java: regenerated from thrift
java/gui: deleted fontawesome