Added jacop to Android libs