Sauashed commit to push the interface refactoring: ICPA.java moved
from internal to extenal API.

commit dfbfd116fbd05d062d99acd304292f7d2cd0fdc7
Author: Bjørn Magnus Mathisen <bjornmagnus.mathisen@sintef.no>
Date:   Fri May 10 00:35:33 2013 +0200

    fixed fixed refactoring bug

commit 16e976489d0ab644b37d2800d0517077a759560c
Author: Bjørn Magnus Mathisen <bjornmagnus.mathisen@sintef.no>
Date:   Thu May 9 23:28:32 2013 +0200

    refactored CPA interface to external, added copyright, also added some work on comparators

commit c86e8ba39b99c79f826c11274263d97c29b58a98
Author: Bjørn Magnus Mathisen <bjornmagnus.mathisen@sintef.no>
Date:   Fri May 3 14:26:51 2013 +0200

    working on a new test