Draft: Fix for -library-preload flag

Adds a C macro PETSC_LIB_EXT, and uses it when -library-preload flag is passed.

Marking it as draft because it needs to wait for petsc!1 (merged), and I need to clear up the confusion you'll see in my comment below.