bump version to 2013.02.01 after branching 2013.01.18