Remove old files
Remove the dependency toward core_kernel
Use nocrypto instead of sha1 and cryptokit
Bump version
Update Travis deps
Add the correct external deps in Travis scripts for zarith
Merge pull request #16 from samoht/master

Cut some dependencies