Since we have proper python package, use it instead of hacky one-file package. This will ease installation and packaging, including switching to python3.
