Add dependencies for Ubuntu 13.10 in user-guide