Versioned installation

Add an --gemini-version argument to the installation script to specify a specific gemini version. This will enable fully reproducible installations with hard package dependencies.