Deleted core files: probably not a good idea to have them on public GitHub repo...
Updated gitignore.