Release 0.07.2

• Merged the trunk and releases branches to master, so as to get a standard setup
• The default branch is now master
• The versioning scheme follows the one on the releases branch before, i.e., the version number is incremented just before tagging the Git repository