Now that 2.0.0 is out, fix the version number in travis' config.