added abc and aigtoaig and updated license file accordingly.