Remove excess whitespace and use more std algorithms

A few tiny refactorings and removing some excess whitespace.
Merge branch 'reduce-whitespace' of github.com:kanielc/FlintPlusPlus into dev
added include for std::mismatch and formatting