Define personal configuration.
Fixed session config not using correct scripts.
Kill default window in klee-cl session.
Added gpuverify config.
Corrected mistake in KLEE script.
Added LLVM3.3 and KLEE session (klee33)
Added symbooglix session