Fix mask handling when some bytes are missing.
Improved annotations' display/behavior.

Added an "InteractiveAnnotation" class to homogenize the annotations' structure (highlighting) and user interactions (for now, used for text and link annotations).

Text annotations:
The appearance (AP) has priority over the icon (Name).
The popup extends horizontally (up to a limit) as well as vertically.
Reduced the title's font size.
The annotation's color (C) is used to color the popup's background.
On top of the mouseover show/hide behavior, a click on the icon will lock the annotation open (for mobile purposes). It can be closed with another click on either the icon or the popup.

An annotation printing is conditioned by its "print" bit
Unsupported annotations are not displayed at all.
Merge pull request #4318 from dferer/improveAnnotationsDisplay

Improved annotations' display/behavior.
Transfer image masks when when possible, instead of copying.
Making src/core/ps_parser.js adhere to the style guide
Add braces to single line statements in src/shared/util.js
Add braces to single line statements in src/shared/function.js
Add braces to single line statements in src/shared/fonts_util.js
Add braces to single line statements in src/shared/colorspace.js
Add braces to single line statements in src/shared/annotation.js
Making src/core/bidi.js adhere to the style guide
Merge pull request #4412 from timvandermeij/bidi-syntax

Making src/core/bidi.js adhere to the style guide
Merge pull request #4414 from Snuffleupagus/src-shared-braces

Add braces to single line statements in src/shared
Fixes typo in function.js
Merge pull request #4416 from timvandermeij/function-typo

Fixes typo in function.js
Making all examples adhere to the style guide
Making src/core/crypto.js adhere to the style guide
Merge pull request #4413 from timvandermeij/ps-parser-syntax

Making src/core/ps_parser.js adhere to the style guide
Merge pull request #4417 from timvandermeij/examples-style

Making all examples adhere to the style guide
Fix coding style in web/chromecom.js