Merge branch 'DIRK'
Merge branch 'master' into DIRK
Merge remote-tracking branch 'origin/shaun' into DIRK
Tweaked Speed

This minspeed was way too fast.
DB Logging done
Pause overlay

Pause overlay and bigger play button.
Bars do not hide anymore but this introduced a weird style for the
footer.
Merge remote-tracking branch 'origin/DIRK'

Conflicts:
	_js/display-operations.js
	index.html