point to correct docs for a local lein checkout

Just noticed no such section exists in Contributing