modifications to manage translation
update VERSION
Merge branch 'develop' of github.com:pgRouting/pgrouting into develop

Conflicts:
	VERSION