Option to create shell from docker container
Make terminal shell more configurable
Merge remote-tracking branch 'gh/docker-terminal'

Conflicts:
	src/browser/terminal.js
	static/js/slides.js