Add spec for keylime