Update/fix a few modules
Changes in crypto-agda.agda and crypto-agda.agda.do