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
tree: aec9a85bc37d494d9c310bf98886f2ce7ab9b56e
  1. docs/
  2. Makefile
  3. update_psa_crypto_api.sh