Remove extraneous .dir-locals.el

This is based on the recently merged commit to HoTT.