Add speclj as the testing framework