From Gerri: add the possibility to control the resident and virtual memory of a proofserv using 'ulimit', which has less limitations and more flexibility than setrlimit.
Changed paths:
trunk/config/proofserv.in