Refine implementation of lazysort, and use Coderay for small examples