readme.txt: updated to include new tool 'pml