raxml 8.0.1

Closes #618