PELCR: Parallel Environment for Optimal Lambda-Calculus Reduction