setting up the git tagging with $Id$: libs + singular version

FIX: cleanning the mess of legacy Singular versioning (only started)

NOTE: for expanding tags for Singular/version.h do as follows:
add "Singular/version.h filter=expand_id" to .gitattributes or .git/info/attributs
and run something line the following:
$ git config filter.expand_id.smudge expand_id
$ git config filter.expand_id.clean 'perl -pe "s/\\\$Id[^\\\$]*\\\$/\\\$Id\\\$/"'

expand_id can be as follows

data = STDIN.read
last_date = git log --pretty=format:"%H, %cd" -1
puts data.gsub('$Id$', '$Id: ' + last_date.to_s + '$')
Separate test results
Expose function m2_end function

Conflicts:
	Singular/LIB/schreyer.lib
	dyn_modules/syzextra/mod_main.cc
Optional starting of Google Profiler

NOTE: also needs to link with -lprofiler (google tools)

NOTE: with the use of schreyer.lib: use ProfilerStart(file_name)/ProfilerStop()