Various cleanups etc.
Merge branch 'master' of github.com:urbit/urbit.github.io

Conflicts:
	_posts/doc/2013-11-18-urbit-is-easy-ch7.markdown