Added script to generate a NuSMV file from a slugs specification and an automaton file to verify the computed implementation