Switch from PGP to NaCl and add the stepic library.