use bash instead of ./ in diff_manual.sh
add v1.2.0_v1.3.0.patch
Merge branch 'master' of https://github.com/stan-dev/stan