debian packaging: make pbuilder optional for now (it needs root rights)
cleanup
profile tests must profile :-)
version cleanup
more version tuning
Merge branch 'master' of git.sv.gnu.org:/srv/git/liberty-eiffel