JIRA: Move projects into YAML for easier maintenance.

In addition to fixing #378, this should also make it easier if it
turns out that there are more JIRA trackers to be supported later.

The major overhead is the crazy-long generated regex trigger for
recognizing the tickets.