Added use case diagram in kravspec