aur/frama-c: initial commit