Cutting release 1.3.
Initializing 1.3.x branch.
Initializing master for next version.
fix bug 542
mv prp to regress1
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.
Travis-CI configuration.
Merge branch '1.3.x'