pts/hmmer-1.2.0 - 27 September 2020 - Update against HMMer 3.3.1 upstream, other install/build improvements.