Github pull requests

New module.

Zentyal pull requests are sorted by merging branch. Also information about Jenkins builds is gathered to ease the merging work.