Maximum line length of 99 for core source files
Merge pull request #25 from runtimeverification/lineLength

Maximum line length of 99 for core source files