An explosion at a weapon cache in a Libyan air base and an attack on checkpoint in an eastern city have killed 13 people.