new plugin - portals list (from @teo96)
update userscript header to match the others
missed userscript header updates
Merge remote-tracking branch 'origin/master'
build improvements
- add optional localbuildsettings.py
- remove the 'jonatkins' and 'jonatkins-dev' from buildsettings.py - some devs were using them and it'll give them unexpected update behaviour
- add a 'local' build - uses the public release for external resources (rather than a local web server as for local8000), but no distUrlBase. perfect for code-only changes
- distUrlBase can now be None - no more wacky invalid URLs

(the resourceUrlBase will become redundant once all resources are embedded, but that's still pending)
Update README.md
Start contribs file for those who have contributed
Merge pull request #12 from Fragger/contribs

Start contribs file for those who have contributed
change sort function and commit from git
Merge pull request #15 from teo96/master

Plugin portals-list complete git workflow
fix build.py so it works with python3