Added a mention about manually installing OpenSCAD