hmmer 3.1b1: Add --devel and --HEAD

Closes #235