Add @spec for `main` in escript

Signed-off-by: Mikhail S. Pobolovets <styx.mp@gmail.com>