Add an option to specify the addr2line executable to use
Cleanup the options