Add a test for crypto_aead without any additional data
Add a compile-time check before using crypto_verify_16()
Update the ChangeLog
Thanks to the FSF France for the gcc compile farm
which is used to test libsodium on various platforms.
And to Coverity for performing static analysis.
Tag a few unused parameters
Enable Coverity+Travis