Properly set load-path during byte compilation
Fix preview-latex loading
Fix package directory for byte compilation
Remove ProofGeneral