Remove php extension on binaries

When scripts are installed into a directory in the system PATH, the script name should not include an extension such as .sh or .pl that denotes the scripting language currently used to implement it. The implementation language may change; if it does, leaving the name the same would be confusing and changing it would be disruptive.

Ref: http://lintian.debian.org/tags/script-with-language-extension.html
Use the same shebang on all binaries
More on @php_bin@ uniformisation
Fix usage
Support for multiple collections
We don't really need the JSON_BIGINT_AS_STRING constant here.

The encoder should quote any integers that overflow, we are decoding
on the same machine we encoded, and it's a PHP 5.4+ only parameter.
Default to EAS foldertype of email, to be BC.
Fix detecting mirrored email deletions.
Typo
Changes
Match method signatures.
[mms] Validate e-mail addresses ion the forward and vacation pages (Request #7249).
Merge branch 'for_upstream' of git://github.com/sathieu/horde into sathieu-for_upstream

Signed-off-by: Jan Schneider <jan@horde.org>
Don't use IE8 keyword (Bug #12813).
Add autodetermination if packed variable contains PHP objects
Can't use expiring tokens for contents information
Compress pack by default
Sanity/output checking on unpacked data
[mms] Workaround broken IMAP servers that don't support the required AUTH=PLAIN authentication method (Bug #12817).
Merge branch 'master' into imp_6_2