Add shapeless 1.2.4/2.0.0 to Available projects.