Add the execution of a SMECY initializer and delegated finalizer to main() function

Fix a bug too: do not rename main() when there is no main()...
Change user makefile to skip using -smecy_dispatch files when there is no main()
Runtime implementation of SMECY_initialize_then_finalize()