Neutron optics and a superconducting magnetic lens for small-angle neutron scattering with focusing geometry