Added information about various Whiley repositories

The changes can be viewed at http://danielgibbsnz.github.io/whiley.github.io/ before merging.