JSAI: Miner/Scavenger AI (the two are very similar, so one AI can do both)
Fix bug in JSAI docking routine