Merge requests in issue board (and rename it to just board)

• Allow merge requests to appear in issue boards
• Rename issue boards to boards
• When calculating value stream times/metrics, map a given issue to its merge request.