Makefile improvements

more version information in build steps
save version information to prefix/tool.version
include LD_LIBRARY_PATH in proteus and proteus_env.sh scripts
restore hashdist force builds (-f)