Added functory 0.5

Added package for Filliatre's Functory parallel programming library.