preliminary cleanup
Fix some bugs, cleanup, comments.
Newline.
explicit constructors, implemented separately.
Fix the rest of the Grassmann header.
Start cleaning up the body.
Finish body cleanup.
Syntax-error-inducing typos.
Spacing, remove redundant comments
Merge branch 'master' into fix-scalar-multiplication
Consistency with the bikeshedding in #21.
Patch #24.
Merge branch 'master' into fix-scalar-multiplication
After pleroy's review.
Merge pull request #23 from eggrobin/fix-scalar-multiplication

Fix scalar multiplication
Merge pull request #25 from eggrobin/more-tests-for-R3Element

Patch #24.
Hopefully renormalise line endings.
Merge pull request #27 from eggrobin/normalise-line-endings

Renormalise line endings.