Minor bugfixes, doc improvements.
Resolved conflict.
Fixed typo in documentation for binary symplectic inner product
Fixed typo in documentation for binary symplectic inner product
Fixed copy-paste error in documentation for solve_commutation_constraints
Fixed typo in documentation for solve_commutation_constraints
Fixed typos in documentation
Fixed major bug with imports in stab.py.
Merged stab.py, taking cgranade's version.
Fixes related to circuit decompositions of an identity Clifford.
Merged with remote.
Added option to exclude Paulis from circuit decompositions.
Enabled Travis CI support.
Merge pull request #1 from cgranade/master

updates