Update manifest for new randomkit version

Forgot to update manifest in #20, sorry about that!