Added some additional details about joopl-analyzer on doc