bump version to 3000.10.2
cabal sandbox is boring
CHANGES for 3000.10.2