Add @spec for `main` in escript

Signed-off-by: Mikhail S. Pobolovets <styx.mp@gmail.com>
Merge pull request #2902 from styx/add_spec_for_escript_main

Add missing @spec