hs: a theorem about coverings,

from ordinary voltage lifts to permutation voltage
lifts. Also, realized that I've been working with
left derived graphs from ordinary voltages (due to Sage
being weird about multiplication of permutations),
so fixed that and added some tests.