improving quality and quality assurance

These commits improve formatting, provide a simple bash script for checking, and add continuous integration of that check script.