[ivette] fix requests

ivette/src/frama-c/server.ts

ivette/src/frama-c/states.ts

ivette/src/renderer/ASTview.tsx

ivette/src/renderer/Globals.tsx

ivette/src/renderer/Properties.tsx