VarEMU: An emulation testbed for Variability-Aware Software