Formalize the FA1.2 specification and verify an implementation
See #40
This merge request adds a formalization of the FA1.2 specification and verifies that camlCase's Morley implementation (version aa15139305ad29b8958701e0e478f96bb68bca65) satisfies this specification.