travis and make tweaks

travis tweaks -- they may not be required any more though (were queued up ages ago)

make tweak -- remove the run rule that causes so much confusion and replace with output of instructions