Using git makes revision.py obsolete.
Merge pull request #14 from boudewijn-tribler/devel

Using git makes revision.py obsolete.