More content on git lecture notes (bitbucket, installation, tags).
Start of linux lecture notes.
Make headers (h1/h2/h3) more distinct from each other.
Merge remote-tracking branch 'origin/gh-pages' into gh-pages

Conflicts:
	css/screen.css
	lecture/linux.markdown