[ivette/frama-c] move to new API

ivette/src/frama-c/index.tsx

ivette/src/frama-c/kernel/ASTinfo.tsx

ivette/src/frama-c/kernel/ASTview.tsx

ivette/src/frama-c/kernel/Locations.tsx

ivette/src/frama-c/kernel/Properties.tsx

ivette/src/frama-c/kernel/SourceCode.tsx

ivette/src/frama-c/plugins/dive/index.tsx

ivette/src/frama-c/plugins/eva/index.tsx

ivette/src/renderer/Application.tsx

ivette/src/renderer/Controller.tsx

ivette/src/renderer/LabView.tsx

ivette/src/renderer/PackageLoader.tsx