Removed travis since they have some issues; added precompiled pdf