Running Emerald on PlanetLab

Dear students,

Following the discussion on Piazza, I have updated the guide on how to run Emerald on PlanetLab.

The notable difference is that the Emerald compiler and runtime now come pre-installed as ec32 and emx32, respectively, on the following machines:

• ple2.planet-lab.eu
• pl-node-2.technion.ac.il
• ple1.cesnet.cz
• ple2.cesnet.cz
• planetlab2.upm.ro
• planetlab1.informatik.uni-goettingen.de

-- 
Oleks