Move the doc tree out into its own repo.
Merge branch 'master' of ssh.github.com:cortesi/mitmproxy

Conflicts:
	doc-src/certinstall/android.html