Bump code mirror to 3.16