Tools to use with sbatch and GNU make for job scheduling