replaced banner.php

"banner" is a term which is often blocked (f.e. with AdBlock+), leading
to the banner image being blocked/hidden. Changed the filename and also
slightly improved the code.