Update copyright years to 2010-2013
Use PEG.js 0.8.0 in the online version
Update options in online to match PEG.js 0.8.0
Update documentation to the 0.8.0 one
Link to PEG.js 0.8.0