ajax updating navbar clock (#1979)

#1979 Clock on upper right of navbar that checks server time periodically and updates itself via query.

it has a special feature, that if the ajax call fails it falls back to jquery updating the clock without checking with the server!

@jinpa & @jbau - see if you like it!