dist target cannot depend on manuals anymore

for cross-compiles we have to build the manuals before
cosmetics
fix `make manuals`
allow to override strip command

for cross-compilation
add build script for different Linux ARM targets
fix failing gtdoc test