Added Use cases to the krav specification. This isn't formal at all, but it's just there to be a base