Support target name in Python, remove Adaptive warnings

[swernli]

This change adds an optional target_name property to qsharp.init() where the user can specify the target and have the profile inferred. Right now it just uses some hard-coded logic to decide between "ionq", "rigetti", or "quantinuum" and anything else is treated as unrecognized with a prompt for the user to specify target_profile directly.

[github-actions]

Benchmark for 81f80e6

Click to view benchmark

Test	Base	PR	%
Array append evaluation	327.8±2.93µs	335.1±1.90µs	+2.23%
Array literal evaluation	172.7±5.89µs	186.7±0.92µs	+8.11%
Array update evaluation	406.7±1.82µs	415.3±3.38µs	+2.11%
Core + Standard library compilation	18.4±0.08ms	18.8±0.59ms	+2.17%
Deutsch-Jozsa evaluation	5.1±0.05ms	5.1±0.06ms	0.00%
Large file parity evaluation	34.1±0.10ms	34.1±0.06ms	0.00%
Large input file compilation	12.3±0.07ms	12.2±0.11ms	-0.81%
Large input file compilation (interpreter)	46.0±1.04ms	46.0±1.21ms	0.00%
Large nested iteration	32.5±0.38ms	33.2±0.19ms	+2.15%
Perform Runtime Capabilities Analysis (RCA) on Deutsch-Jozsa sample	1560.5±26.62µs	1556.0±29.54µs	-0.29%
Perform Runtime Capabilities Analysis (RCA) on large file sample	7.7±0.05ms	7.7±0.04ms	0.00%
Perform Runtime Capabilities Analysis (RCA) on teleport sample	1419.4±27.61µs	1417.8±58.67µs	-0.11%
Perform Runtime Capabilities Analysis (RCA) on the core and std libraries	27.5±0.11ms	27.5±0.10ms	0.00%
Teleport evaluation	90.4±3.80µs	91.4±9.77µs	+1.11%