Updating TODO list and declaring pfa_setrandom in pfamain.h
Merge remote-tracking branch 'origin/dev' into dev