A quick introduction to Dirichlet domains