Bump version number on dev branch after release
.travis.yml: Fine-tune dependencies

We don't need libboost-all-dev anymore now that we no longer link
against boost::program_options, only libboost-dev.