Set the mainline version to "dev".

Rather than constantly upping the version number in the master branch,
we'll just set it to "dev" and set version numbers only in tags so that
we can easily spot the difference between a build from master and an
actual release.