Removed SVN-based revision number

Since the program is not hosted on SVN anymore, keeping the SVN based revision number did not make sense. It will be replaced by the id of the commit used for the build in a future version.