Convert Mantis Bugtracker tickets, versions and comments to Github issues.