Make welcome panel customizable

To make a custome welcome panel, put a file welcomepanel.html into the
respective directory of the customization. The file is not used as
partial, so it must be a static HTML file.