Added comment on how to install mysql-server