refresh button and minor fixes

- refresh button should stay on the same puzzle
- minor clean up in pom.xml to skip header-checking for config and version files
- compilation-wait screen should always be on top