Fix astral pro
I noticed that ASTER has an official release now (v1.3) and that the current commit that we link to does not compile the way we say in PanTools. Therefore:
- change ASTER commit to its version v1.3
- update compilation message for astral-pro
- actually let astral-pro use the information of
--allow-polytomies
that we provide topantools consensus_tree
on the commandline