Detection of millimetre-wave coronal emission in a quasar at cosmological distance using microlensing