Add libqc-opt, update mpdecision and thermal libs