Bring changes from SUPERCOP 2014-04-25 to ed25519/ref10