0.12 Handle new repository paths better

now when adding a repository to BRAT, if it is prefixed with https://github.com/ - that gets stripped. This will make it easier to copy and paste the URL

0.11 Small fixes

Nothing special to report.

0.1 Beta release

Initial beta release of BRAT