Cutting release 1.3.
Initializing 1.3.x branch.
Initializing master for next version.
fix bug 542
Merge branch '1.3.x'
mv prp to regress1
Merge branch '1.3.x'
GLPK build identifier, license warnings.
Remove "NodeValue width" output
Fix warning.
Whitespace.
Fix timer statistics to report correct time even on process abort.
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'
Update NEWS.
Some minor cleanup.