chore: clean old config

deadlock-plugins/deadlock-extension/src/core/config.prod.ts

-import * as path from 'path';
-
-// FINAL CONFIG
-
-export const CONFIG_PATH = '/home/config/';
-export const USER_CHALLENGE_PATH = path.join(CONFIG_PATH, 'user-challenge.json');
-export const PROJECT_SRC_PATH = '/project';
-export const PROJECT_THEIA_PATH = path.join('/home/project/');
-export const DOCS_PATH = path.join('/home/theia/docs');
-
-export const BRIEFING_FILE_NAME = 'briefing.md';
\ No newline at end of file