Travis-CI: build with debian hardening flags