version bump to 3.1.0
Merge branch 'master' into aasm4