python: add documentation explaining this stuff
misc cleanup; try to prevent crash on exit
python: fix crash on exit

Appearently, pyFinalize() is finicky and will crash if not treed with
kid gloves.
Merge pull request #189 from linas/python

Fix python shell, fix crash on exit