Release version of the Patmos tool chain at M25