Dublin theatres and theatre customs (1637-1820)