Remove useless develop branch

All the PR should be merged to master to have the edge development,
as tags will be deployed whenever there is a new release.