Maximum line length of 99 for core source files

Progress on https://github.com/runtimeverification/javamop/issues/16