A python script to import bugzilla tickets to GitHub issues