devscript: add command get_release_tag

update `RELEASING.md` accordingly