Positivity of energy in Einstein–Maxwell axion–dilaton gravity