Merge pull request #398 from gilles-peskine-arm/pages-remove-non-docs

Update https://armmbed.github.io/mbed-crypto/psa/ to version 1.0.1 + remove cruft