Builds, tests, and runs the project ExpressoCert_trunk.