Some improvements in the documentation and added release goals