spring-boot-1275: write server port to file

add listener which will write embedded server port to a file

Fixes gh-1275