add more items to the TODO list
turn path arguments into a set earlier
uniformly change name of options to arguments everywhere
multithread jpegrescan if picopt doesn't use all cores
add destroy metadata option
add obnoxious text about HTML5 video to Gifsicle
clean up TODO file
change version to 12.0
update NEWS file