Updated readme and manual.

	modified:   README.md
	modified:   doc/manual.md
Recorded changes in history.md

	modified:   HISTORY.md
version 0.4.2

	modified:   doc/jedi.1
	modified:   make_jedi.sh