Add developer docs section on: Releases and maintenance & simplify propagating version number throughout codebase#628

tturocy merged 19 commits intomastergambitproject/gambit:masterfrom

releases-and-maintenancegambitproject/gambit:releases-and-maintenanceCopy head branch name to clipboard