Updates to newest bootstrap for options page.
Including .gitignore, adding docs.css for bootstrap changes.
Initial work on modals. Restructured alert messages to be cleaner and
work better with future modals. Changed openpgp.js problems to dump to
console.