fixed use of bit operators; clean up source code
More cleanup. Implemented putting down forks. More randomness in "thinking" and "eating" times. More output (but I think we need time stamps when which philosopher took a fork and when he put it back down).