add some text about ivory-model-check and srcloc plugin