Fix cyassl flags, update documentation