[ivette] Add more linting rules.

ivette/.eslintrc.js

ivette/package.json

ivette/src/dome/src/renderer/text/buffers.js

ivette/src/frama-c/LabViews.tsx

ivette/src/frama-c/server.ts

ivette/src/frama-c/states.ts

ivette/src/renderer/ASTview.tsx

ivette/src/renderer/Application.tsx

ivette/src/renderer/Controller.tsx

ivette/src/renderer/Properties.tsx

ivette/yarn.lock