Release updates (#380)

* update README and index page

* adapt dotdeps.sh script to new file layout

* fix documentation scripts and boilerplate

* update BUILDING.md with Platform instructions

* update editor instructions

Pre release polish (#121)

* Remove LegacyELMO.v

* Move utility lemmas to utility files. Add some missing locality annotations. Replace Unshelve command with unshelve tactic.

port to stdpp 1.6.0 and later (#13)

update with renamings (#2)