wrappers for curl downloads including github as a special case; script for headphones; initial bit of work on configuration scripts