Builds, tests, and runs the project PlanLite.