Allow to choose a filename for release notes file
We should check if we reached the promoted hash before adding anything to release notes
Allow the script to reproduce the basic output of 'git log' with all PR and commit messages
New parameter 'npromo' allows to specify how many promotions should be included
Unneeded blank line at USAGE.txt
Prepend PR to PR numbers on history