adding problem 13 files & bug fixes (sieve, make-lean, ) & code formatting