Version de corrections de bugs.
- bug #3938 PDFDefaultPageSize doc and easy configurability
- bug #4198 Hovering over pie chart gives fatal JS error
- bug #4200 Missing syntax highlighting
- bug #4201 Exports are not compressed
- bug #4131 Import: "number of rows to skip" is ambiguous
- bug #4205 Add a user shows additional "edit user group" link
- bug #4202 Cannot read property 'token' of undefined
- bug #4203 On refreshing designer, $.FullScreen is undefined
- bug #3920 Lost space in navigation area