rdtool/valutaz.py: use real file names, round and prettyprint mark

Also, while there, document what is missing to have the final, correct
algorithm to compute the overall mark.