Improve stack trace dump

[eloparco]

The main goal of this PR is to avoid the stack traces getting mixed up together when using multiple threads. This is achieved by using exception_lock(module_inst).

I also noticed that, when an exception occurs, the output is a bit confusing since every thread would report the exception and then iwasm reports it one additional time at the end. I think it makes sense to remove the error prints from each thread and report the exception only once at the end (after all threads have finished).

Before:

[11:34:16:265 - 1F610DB40]: Load module success.

[11:34:16:286 - 1F610DB40]: Memory instantiate:
[11:34:16:287 - 1F610DB40]:   page bytes: 65536, init pages: 1, max pages: 30
[11:34:16:288 - 1F610DB40]:   heap offset: 65536, heap size: 0

[11:34:16:499 - 1F610DB40]: Memory instantiate success.

#00 m
#01 l
#02 main
#03 __main_void
#04 _start


#00 f
#01 g
#02 h
#03 __wasi_thread_start_C
#04 wasi_thread_start

[11:34:17:806 - 16B093000]: /Users/eloparco/dev/forks/wasm-micro-runtime/core/iwasm/interpreter/wasm_interp_fast.c, line 4034, meet an exception Exception: unreachable
[11:34:17:794 - 1F610DB40]: /Users/eloparco/dev/forks/wasm-micro-runtime/core/iwasm/interpreter/wasm_interp_fast.c, line 4034, meet an exception Exception: unreachable

#00 m
#01 l
#02 main
#03 __main_void
#04 _start

Exception: unreachable

After:

[11:32:03:625 - 1F610DB40]: Load module success.

[11:32:03:642 - 1F610DB40]: Memory instantiate:
[11:32:03:643 - 1F610DB40]:   page bytes: 65536, init pages: 1, max pages: 30
[11:32:03:644 - 1F610DB40]:   heap offset: 65536, heap size: 0

[11:32:03:804 - 1F610DB40]: Memory instantiate success.

#00 f
#01 g
#02 h
#03 __wasi_thread_start_C
#04 wasi_thread_start


#00 m
#01 l
#02 main
#03 __main_void
#04 _start

Exception: unreachable

[eloparco]

clang-12 has been removed from Ubuntu 22.04: https://github.com/actions/runner-images/blob/ubuntu22/20230924.1/images/linux/Ubuntu2204-Readme.md, that's why the coding guidelines job in this PR was failing.
Last job using 22.04.3 version 20230917.1.0 was still fine, but the latest 20230924.1.0 fails.

I changed the CI for format check to pin Ubuntu 20.04, so that we can keep using clang-12.

[wenyongh]

LGTM