Web UI.
Merge branch 'dev' into ui

* dev:
  TLS for log transfers.
  Server I/O logging.

Conflicts:
	testing/end_to_end.py
Web UI parsing of range in the local time.
Merge branch 'dev' into ui

* dev:
  Parsing of the base time in the current location.
Web UI finished.