Update version.txt to 2014-12-09.