Added new version of paper.js (v0.8).

The JSON paths received from the server no longer are interpreted as Point objects (why?) but instead as arrays. I updated the draw.js code for progress_external_path and end_external_path to create new Point objects from the correct elements of the arrays.