write on open issues
delete unnecessary file
Merge pull request #211 from jensgerlach/master

work on open issues in Frama-C section