Also check for source-highlight at configure time

source-highlight is used for documentation generation. It's
however optional, so we just check for the sake of completion