Changes to tutorial - mostly stying for integrating in the website.
Added assignment for inspect. Fixed some issues. Added function to match partial things.
Merge branch 'master' into tutorial
Added some features

* echo hello world accepts other commands
* focus on next button
* can run apt-get install other packages -- but will fail
* added ls
Switched from sqlite to postgresql for the database, and added logging.
Added question navigation
Finished the buttons, improvements on fuzzy matching. Added migrations for database.
Clean up public visible.
Fixed a couple of styling and alignment issues (in Firefox), added Finished page in the main site layout.
Changed spelling of docker to Docker site-wide.
Fixes mostly bases on Ben and Yannis' feedback.
Added more platform logo's, added a conditional docker ps, update of the what's next page.
Ported the what's next elements over to the original page - so we don't need that page anymore.
Fixed the hyperlinks (by making them look like normal text)
Fixed the scrolling behavior
Clearing the feedback window after submit
Iteration of the textual introductions and assignments. Added some command option cases.
Minor text changes
Cleaned up unused whats-next.md page and view. And the not-used iframe email form.
Merge branch 'master' into with-external-tutorial

Conflicts:
	_pages/live.md
	_pages/the-whole-story.md
	tutorial/static/css/tutorial-style.css
	tutorial/static/js/steps.js
	tutorial/static/js/terminal.js
Switched the embedded tutorial to the external tutorial.
Enabled the mailchimp email api. (added caching for list)
Improved 404 pages.