Adding license for CryptoMiniSat4 and indicating it's optional