Pyinstaller finally works on Ubuntu 13.04.
Edited and commented documentation stuff.