Add support for main function

[jespercockx]

Currently Agda2Scheme compiles Agda definitions to Scheme definitions, but there is no way yet to indicate a main function.

One question here is whether we want something like the IO monad in Haskell to mediate basic input/output effects, or if we just use a more direct style of doing IO.