Merge pull request #208 from wtsi-npg/devel

pull from wtsi devel to master to create release 80.1
Merge pull request #210 from wtsi-npg/devel

pull from wtsi devel to master to create release 80.2
Merge remote-tracking branch 'wtsi-npg/devel' into HEAD
release 80.3
Merge pull request #213 from wtsi-npg/master

pull request from wtsi  master to devel - post release 80.3