aux/: Use getopts on scripts, adjust Makefile and add {un,}installcheck targets
