(Promela) Initial version of a set of puthon scrips that will make the model checker usable