Remove unused content

Remove krbdev-specific stuff we're not using in our configuration,
which is basically everything except the git hooks.
Update the README file

Update README to include the new description of the repository