Library of tools for SDP facial reduction