Those propane mantle wall lamps were standard in the campers my neighbors had in the ''60s. And they are BRIGHT. I have one or two that work off of the small disposable bottles. But I HATE the hissing noise. I like quiet.
CFL's are easy. Just screw them in and turn them on. There are some negatives, though.
They have electronic circuit boards that pulse the tubes somewhere around the AM or shortwave bands instead of 60 Hz. Expect some interference if you have interests in those areas. They are pretty much all made in China, even with a US brand name. I've had GE outdoor CFLs with a 10-year warrantee die in 6 months. I've had others that have never been replaced since they were put in. Circuit board quality is a crapshoot. I'd say 4 out of 20 died a premature death. They are also most susceptible to power surges, not the tubes but the circuit boards. A lightning hit a mile down the road might or might not fry them. And they have hazardous innards to dispose of, if you do it properly.
LEDs aren't so easy. You can't say they are not ready for prime time, just look at the bright police light bars today. Some dealers aren't ready for prime time, though. And you really can't tell the quality of the design without risking destruction of the LEDs.
The problem with LEDs is that the current, not the voltage must be regulated. They get brighter and dimmer with changes in current. The current must be externally controlled. (External to the LED, that is. LED "bulbs" SHOULD have this put in.) If the voltage is constant, a series resistor is a dirt-simple way to control the current and protect the LED. When I had to add indicators to radio equipment, I would install a standard 2.1 volt, 20 mA LED in series with a 1200 ohm resistor. At 14.1 volts, the LED would be at half power 10 mA. The voltage would have to reach 26.1 volts to supply full current, and the LED would last "forever." The problem is the same as incandescents. I was using 2.1 volts for light and 12 volts heating the resistor, wasting 85% of the power.
So you can series the LEDs to drop more of the supply voltage. Some of the LED "bulbs" do this, as you notice the individual LEDs fail in groups. A daisy-chain of five standard LEDs in series require 10.5 volts. Add a 100 ohm resistor in series and connect to 12.500 volts, and you get full 20 mA brightness, it only draws 1/4 watt, and only 16% of the power is wasted as heat. Start your engine or battery charger, and the 14.5 volts through the 100 ohm resistor now provides 200% power to the LEDs, with another 28% wasted as heat. Then one LED goes "pop" and you have zero heat, zero light, and zero power consumption. This is probably what is happening with the cheap stuff on the market.
Change the resistor supplying 5 LEDs to 200 ohms, and the string can stand up to the charger, but the LEDs have only half power at 12.5 volts, and only 38% power at 12.0 volts. Using this scheme, they dim rapidly when boondocking.
The simple answer is a regulated voltage plus a current limiting resistor. You can easily regulate down to a fixed voltage below the battery voltage. A common 5 volt regulator chip or parts from an old 12-volt cell phone charger, plus limit resistors could step down 12-15 volts to 4.2 volts for pairs of standard LEDs. I think I will probably build fixtures with a 9 volt chip supplying strings of 4 LEDs at 8.4 volts. (Note: the new white and colored LEDs have higher non-standard voltages.) Another option is to pick up tractor-trailer taillight assemblies, and use them as dome lamps, if you can live in an amber or red environment.
The light from each LED is generally uni-directional, so they work better as reading lamps and task lamps than as area lighting. I am thinking of strings of them under cabinets or in a soffit to provide low-current indirect area lighting.