Guix for reproducible science