Bug#989462: synced dirs

[Hans-Christoph Steiner]

synced dirs are difficult to manage when the use case is security-sensitive.  In 
F-Droid production, they are only used during box creation.  Then production 
builds do not use them.  Also, some Android app builds are literally bigger than 
20GB, and running the build in the synced folder would be painfully slow.