Release 0.4.7

See History.md

	modified:   HISTORY.md
	modified:   doc/jedi.1
	modified:   doc/make_doc.sh
	modified:   make_jedi.rb