Little Google Apps script that forwards mail from a given address to another address