Remove deleted files from .gitignore
Remove banner.pxm