git: create tags and push tags to github

Signed-off-by: Fudong Bai <fudongbai@gmail.com>