Jacobian challenge project

Units live in subdirectories of Jacobian/; each unit has a root module Jacobian/<Unit>.lean importing its files. See CONVENTIONS.md.