The entry point for building a Lean Framework application.