update modification time of the daemon pid file when pinging to avoid deletion of this file from /tmp on Ubuntu precise
correct release numbers
Merge pull request #114 from mgcam/pingable_daemons

ensure ability to ping and stop daemons is not lost over time
Merge pull request #115 from wtsi-npg/devel

release 75.5 from devel to master