Add more nicknames for p-adic fields #6201

We currently write Q_p(sqrt(d)) for quadratic fields. For larger degree unramified extensions, we could have Q_p(zeta_n) and tame extensions can be Q_p(zeta_n, d-th root of zeta_n^k p).