Updated version of marked.js

Updated version of marked.js (seems to be a little bit faster).