[lib] make load_theories not catch exceptions and exit

I'm trying to use why3find as a library (thank you so much for it). Not exiting here lets callers handle the error gracefully. It doesn't seem to affect existing call sites since they are not under exception handlers so that printing and exiting is the default behavior anyway.