added exercise 12.2: supervising the database server, doc/ added to .gitignore