Update to use the ReST API

With these commits, cicero-for-concrete5 is now updated to use the ReST version of the Cicero API.