Default library suggestions engine

This module sets the default library suggestions engine to "Sine Qua Non", along with the theorems from the current file. . Any module that imports this (directly or transitively) will have library suggestions enabled.