Pretified options.html with Bootstrap. Rearranged assets.
Merge branch 'feature/prettify_options_page' into develop
Fixed reference to jquery.js in manifest.json. Fixed error detection when submission of login form goes wrong.Removed encoding features (they where not ready for commit yet).
Merge branch 'feature/prettify_options_page' into develop

Conflicts:
	hal.js
Added AUTHORS.txt.