Fixing minor bugs in check pointing, added do check point API at the file server