Add a script to run the server suite on astra
Split assumption substitution out of docengine into subst + mnw-assumptions