Merge tag '0.9.1' into develop

Release 0.9.1
Updated authenticator
Added default user messages to HTTP-based exceptions
Moved to Jetty 9
Tidied up build
Changes to get to 0.13
Merge pull request #17 from wealdtech/feature/auth

Updates for 0.13
Version number
Merge branch 'release/0.13.0'