Fixed typo in usage message
Added command-line flag to enable generation of STCQ4.

At the moment this flag does nothing. See #2.
Check that the angle assignment does not conflict with STCQ4 edge-assignment.

See #2.
Adapted canonicity check for STCQ4 case.

See #2.