bump version numbers of master to 1.12.0+dev

1.12 branch is split off, so the new name is somehow valid...