fix(realpaver/rp_constraint): new_explanation option
fix(cmake): add patch version when cpack

[skip ci]
doc(README.md): add download section

[skip ci]
chore(cmake): bump version up to v2.14.07

[skip ci]
fix(heuristic): avoid backtracking in heuristic unless required

fix(style)