libsnark's own time and memory profiling info is suppressed,
and our own is added, in r1cs_ppzksnark_prover.

Also, the function getTextVar is added to allow for text inputs,
even with -DBINARY_OUTPUT set.

The makefile is configured with our build options
(-DBINARY_OUTPUT, -DNO_PT_COMPRESSION, -DMULTICORE)