Docs
.gitignore for the documentation build files
.gitignore for sessions
Merge branch 'documentation'

Conflicts:
	.gitignore
Merge branch 'master' into websockets

Conflicts:
	.gitignore