[galaxy-user] Do I need to have tool or dependencies installed in the server to run Galaxy tools?