New function sol.main.get_elapsed_time(). Fix #424.