let's get rid of this `devel` branch

and have `master` as the one single development branch