Arange code in a better way
Sync devtools
Add axiom to corpus test and add noinstall option

Axiom will currently not be killed on CI. Once I merge the parallel
stuff this is feasable.
Simplify runner reporting
Use more durable sequence of git commands to checkout corpi