committing some fixes (autotune for keccak, etc...) and updating version info to 2014-02-18.