Fixed some PDF doc length issues; CHANGED COPYRIGHT TO BSD_3_clause (same as Redis); Moved vignette directory