We don't checkin compiled documentation files
Correctly detect EMBOSS 6.5

Noticed by Andreas Tille during Debian packaging.