t20131125 -- create sieve3 streams for "literals" and "dotdot" predicates

This release changes the organization of :BaseKB Now in that literals go into a file called literals #86 and predicates with a double dot (which are said to be erroneous) go into the dotdot file #87. Internally work has continued on the use of the set difference operator to validate Freebase data #83 and #70. See the t20131125 milestone for the list of changes.