Sorry for being a bit of a noob, but how do I mine this coin? Where is the mining software, and what commands do I have to type in?