UI tweaks

sorted messages, added stub buttons to navbar, tweaked various other
things
Merge branch 'specs2_tests' of https://github.com/pkinsky/ClockworkSemaphore into specs2_tests