File download option in Source_code view. Closes #28