Additions and Changes for Cider-CI Version 3.3

• Pushing status messages to GitHub:
  • Improve visible message on GitHub.
  • We consider this feature as stable.

• Revamp project configuration:

  • Rename dotfile to project configuration (file).
  • Accept also JSON configuration files.
  • Accept unhidden project configuration files.
  • Move project configuration building over to repository service.
• Fix tasks pagination in job view.