developers/contributors: use links to GitHub profiles instead of non-specific IDs
order developers alphabetically
add Sébastien and Ali as developers
drop github-site-plugin

* creation of remote blobs is S-L-O-W and fails 9 times out of 10
* use `mvn site site:stage -DstagingDir=../marytts.github.io` instead, then commit and push from there