Workspace support for Kailua.
While the type checker itself processes files organically, starting from a start file,
many Kailua projects are organized as a workspace---source files and an optional configuration.
This crate abstracts the common procedure for determining such configurations.