Skeleton SBT project for shapeless workshop @ Scala.IO 24/10/2013