Test for ProposalController.displayProposalsPage(). This test lead to the creation of the TemplateRenderer interface and respective Jade implementation.