Add filename to code snippet in Installation.rst