add package CodepthThree

(just published in JSAG)