Adds license header to .cxx, .cpp, .h, and .C files

Files with detected previous copyright or authorship skipped.
Copyright claimed for the current or last CBMC institute of the original commiter to the SVN or GIT repositories.
File distributed under GNU public license version 3.0 declared.

Revert "Adds license header to .cxx, .cpp, .h, and .C files"

This reverts commit 94da15007a5d3a4e746cc751f1cf5956bfc48c5e.

Removes one blank line

Revert "Removes one blank line"

This reverts commit a8e5e236ea74822df8c88c7e785553c38ddf9c0b.

Preemptive empty lines removal

If first two lines of a file are empty, or have spaces and tabs only then remove the lines.

Revert "Preemptive empty lines removal"

This reverts commit da38bf5df03a1f5e34608ae035ddeffa729d9a78.

Add empty line

For stylistic reasons, an empty line is added after doxygen header.

Revert "Add empty line"

This reverts commit 30491934c3213e152f4b266cd34a3d65478259bc.

Puts space between includes.

Revert "Puts space between includes."

This reverts commit 468b70240d43541f51a64f7e00a11fabec09abe5.

Add multiple authors tag

Lists authors in order of their contribution

Revert "Add multiple authors tag"

This reverts commit f5d3e7486220d6adb1703b2a13e2246a221777ad.

Removes empty line on one file for clang format compliance.

Revert "Removes empty line on one file for clang format compliance."

This reverts commit fbac8bade3cefdc9b2c5b7c9be58ff2142a42976.

Small changes as per requested.

Add small (o) to original commiters username.

Adds running 10 percent instead of line count treshold for contributors.

Revert "Small changes as per requested."

This reverts commit 84af7b5ff4e28a03d180549b2fc999d325e3d269.

Long form of names

Word originator beside original committer of file.

Revert "Long form of names"

This reverts commit 759426e2b683c134bc6a3de0227c7e92918bbf6d.

Add space between comma seperated double affilliation institutes