If the Jaguars prioritze taking a defensive lineman with their first pick (No. 56 overall), here are four options.