Stack trace symbolization should offer an option to select whether or not to use symbol info from the analysis

[xusheng6]

Right now the debugger tries to be smart and use the best symbol. However, we should offer an option in the stack trace widget to select from these options:

1. Smart (automatically decide the best one to use)
2. Always show symbol reported by the back-end
3. Always show symbols from the analysis