Use ant-opencms.jar instead ant-opencms-1.2.jar

This change is necessary if applying the patches
https://github.com/gallardo/opencms-core/tree/patch-2 and
https://github.com/gallardo/opencms-core/tree/patch-3 to opencms-core.