Library support

The Options page is now compatible with the latest version of Twitter Bootstrap and thus fixes #111.