Add name of shown file to title in results preview pages.

refs #139, fixes #295
Merge branch 'feature/295' into devel
Bump version in config checker.
Merge branch 'master' into devel

This is to make sure we don't have anything in 'master' that is forgotten
somehow in the 'devel' branch and could lead to conflicts later.
Print log message when attempting to create user dirs.

refs #307
Revert "Add warning about unmerged changes in "shellscripts" branch."

This reverts commit e43c8189262cfb9ccacebf0e938ee858fd6f5061.
Change report level of important message.

- Moved from verbosity 2 to verbosity 1.
- If the file server is not reachable the queue remains paused. This way the admin will see the corresponding error message in the HRM log.
Only do username mangling if variables set in config files.

fixes #312
Report more details during auth and logon.

refs #312
Add note about "AD_USERNAME_SUFFIX" to sample config.

Admins should let these settings empty unless they are in an AD forest
environment. In this case they should consult the detailed installation
instructions / manual.

refs #203
Clean up whitespace and space-tab-mix.

refs #209

(cherry picked from commit e6e1b1cc935e04694ba9f53a7988b9d9c8222add)
Simplify the "sudo" usage and reduce redundancies.

refs #209, #59

(cherry picked from commit f354c4dba593edc612e8ad7bcf01771b4971dfdb)
Add description.

refs #209

(cherry picked from commit 844db957a62da5aadefe936a7907b2daf83a3078)
Only use "sudo" in the user dir admin tool if required.

It is not necessary to use sudo for the file operations if no "SUSER" has been
set in the hrm.conf file or if the user calling the "hrm" script is already the
same that was configured in this variable. Using sudo even though the user is
already the same results in non-working commands and thus no user directories
being created.

refs #59, #173, #183, #209

(cherry picked from commit 72d97609ba696ac72a5cb16b694b4ea732562cb0)
Rename "bin/hrm" to "bin/hrm_user_manager".

refs #209

(cherry picked from commit c736fdf750bd9f19b46ed073a873ae256c33fa8f)
(cherry picked from commit 9f1a8a6bf389e1cccec13e80ba495ce0a31ca00d)
Report logout events to logfile.

(cherry picked from commit dbe3cccb2281eb81ac6c93132cd8d35050b1969d)
(cherry picked from commit 1183667dc6c2d1a089959631881e5a0a49c31a60)
Remove unrequired checks from userdir manager.

There is no real need to do all these checks for different reasons:

* The script is called with "create" anyway only if the user directory
  does not exist (see login.php, look for "createUserFolders").
* Calling "mkdir -p" for all required dirs is much more convenient than
  doing long checks - mkdir and chmod are much faster in figuring out if
  something needs to be done. Same goes for the "rm" command in the
  delete() function.

refs #309, #307

(cherry picked from commit 39d01a53a911ae736fc3beb623a7065aa877b7b2)
Report output from userdir helper script to logs.

refs #309

(cherry picked from commit f300f0246a78f38a35153f28d0db86365581b37d)
Add "FILE_MODE" setting to sample hrm.conf.

refs #309, #307

(cherry picked from commit 8742c9f122bb57d692cabea9ee9b5fbcf6300071)
Remove "sudo" from userdir helper.

With the new official installation method, this should not be necessary any
more.

refs #307, #309

(cherry picked from commit 1b7be4215cf8884651425488da538bc17ac25885)