Adds ex10,11,12.py and pydoc output (raw_input.html)