Update the link to Sodium-Idris, via mwarning@
Update the link to Sodium-Idris, via mwarning@

optedoblivion/android_external_libsodium,SpiderOak/libsodium,zhuqling/libsodium,akkakks/libsodium,akkakks/libsodium,netroby/libsodium,mvduin/libsodium,mvduin/libsodium,Payshare/libsodium,soumith/libsodium,akkakks/libsodium,paragonie-scott/libsodium,HappyYang/libsodium,pyparallel/libsodium,pmienk/libsodium,donpark/libsodium,Payshares/libsodium,netroby/libsodium,JackWink/libsodium,paragonie-scott/libsodium,GreatFruitOmsk/libsodium,paragonie-scott/libsodium,CyanogenMod/android_external_dnscrypt_libsodium,donpark/libsodium,JackWink/libsodium,soumith/libsodium,eburkitt/libsodium,kytvi2p/libsodium,zhuqling/libsodium,mvduin/libsodium,rustyhorde/libsodium,eburkitt/libsodium,tml/libsodium,JackWink/libsodium,netroby/libsodium,zhuqling/libsodium,GreatFruitOmsk/libsodium,pmienk/libsodium,Payshares/libsodium,pyparallel/libsodium,SpiderOak/libsodium,Payshare/libsodium,optedoblivion/android_external_libsodium,tml/libsodium,Payshare/libsodium,soumith/libsodium,pyparallel/libsodium,tml/libsodium,kytvi2p/libsodium,optedoblivion/android_external_libsodium,HappyYang/libsodium,Payshares/libsodium,HappyYang/libsodium,eburkitt/libsodium,CyanogenMod/android_external_dnscrypt_libsodium,rustyhorde/libsodium,rustyhorde/libsodium,donpark/libsodium,rustyhorde/libsodium,pmienk/libsodium,SpiderOak/libsodium,akkakks/libsodium,SpiderOak/libsodium,CyanogenMod/android_external_dnscrypt_libsodium,kytvi2p/libsodium,GreatFruitOmsk/libsodium