TODO

add San Leandro, CA statute
add Cambridge, MA statutes
add Portland, ME statues
add Saint Paul, MN statues
add Minneapolis, MN statutes
setup Travis CI at Galois/Free & Fair
polish BON specification
write VDM specification
implement SPARK version