Simplify installation and documentation

Remove some distractions, fix some nits.

Remove unused check target.

Remove byte-compilation.