up Java heap settings to match Isabelle/jEdit
use release update sites
using release buildId
info on stable downloads
notes on `develop` branch being used for development
Merge branch 'release/v1.2.0'