Merge pull request #88 from gordon/windows

Windows 64-bit compilation (including type changes)
add 64bit=yes to Windows 64-bit build script
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