main package makes it possible to build NilAway as a standalone code checker that can be
independently invoked to check other packages. It also makes it possible to run cpu and mem
profiles on NilAway through command line arguments when analyzing packages.