Version bump on versions/0.5 branch after 0.5.0 release (i.e. in
anticipation of v0.5.1).