update time in Frama-C references
describe related issues from Frama-C's BTS