doc/sdccman.lyx: updated, added (porting, debugging), mentioned ec2drv and paulmon