Breve história da Baixa de Lisboa, séculos XIII a XIX: a Muralha de D. Dinis