Changes

Summary

1. more balanced AFP partitioning;
2. clarified signature;
3. build_history_base as remote build on lxbroy10: thus self_update has already happened once, and thus avoids conflicts with parallel builds on shared home directory;
4. more robust: normalize potentially symbolic rev;
5. proxy setup for lrzcloud1;
6. tuned signature;
7. support for permissive connections, for odd situations where host keys are not accepted;
8. proper target directory;
9. eliminated dead code from 2a1acc88a180 (presumably left over from ML type-inference experimentation);