push files to remote
Merge pull request #22 from RobinQu/master

push to remote together with git tags