Added more details to joopl-analyzer doc