web: fix whitespace bug in proj-dep weights
web: forbid coord-sym if norm-type != 2
web: add format_time() function
web: show elapsed CPU time
web: wrap TextBoxArray for weights and genvec
web: remove "Construction method:" label
web: change search button text for explicit cons.
web: improve array-from-expression dialog
web: set window title
web: prepare Abort button
web: handle keyboard interrupt
web: new latbuilder.LatBuilderProcess class
web: change css fieldset width
web: cancel XMLHttpRequest

Requires a patch to pyjamas.JSONService.JSONService.sendRequest():

return HTTPRequest().asyncPost(self.url, msg_data,
                               JSONResponseTextHandler(request_info)
                               False, self.content_type,
                               self.headers)
web: add sentry to abort if stdin is closed

FIXME: ugly hack, different in Windows / Linux
web: return None if latbuilder fails
web: replace parse_latsize with LatSize class
web: add min/max levels for multilevel
web: change response parsing on error
web: latbuilder service handles error better