GLPK build identifier, license warnings.
Remove "NodeValue width" output
Fix warning.
Whitespace.
Fix timer statistics to report correct time even on process abort.
Merge branch '1.3.x'