added odoc, odoctest