Initial rework of raxml.py.