update fs.cipo rtsm port for benchmark

benchmark list:
  context1  coremark  dhry2  dhry2reg  execl  hanoi  pipe  syscall
Merge pull request #114 from joohyun0115/v1

update fs.cipo rtsm port for benchmark