Merge branch 'issue-17' into 'master'

normalize tools behaviour regarding -h

Closes #17

See merge request !115
6 jobs for master in 5 minutes and 33 seconds (queued for 1 second)
latest
Status Job ID Name Coverage
  Build
passed #584416921
autoconf

00:04:33

passed #584416924
cmake-makefiles

00:02:56

passed #584416925
cmake-ninja

00:02:29

 
  Pages
passed #584416926
pages

00:01:00

 
  Deploy
passed pages:deploy

00:00:04

 
  External
passed continuous-integration/appveyor/branch